Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
271	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
272	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
273	BEHAVIORAL AND BRAIN SCIENCES, 57 –111 doi:S0140525X10000968 Why do humans reason? Arguments for an argumentative theory Hugo Mercier Add to Reading List Source URL: ram.mrtc.ri.cmu.edu Language: English - Date: 2011-05-22 02:25:08 Cognitive science Logic Philosophy Reasoning Critical thinking Epistemology Arguments Reason Fallacy Inference Psychology of reasoning Practical reason
274	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
275	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking
276	Convergence of Hypervolume-Based Archiving Algorithms II: Competitiveness Submission to GECCO Track “Evolutionary Multiobjective Optimization (EMO)” ABSTRACT We study the convergence behavior of (µ + λ)-archiving a Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:34 Mathematics Algorithm Mathematical logic Theoretical computer science Mu Greedy algorithm Online algorithm Discrete mathematics
277	Dewey’s Theory of Induction and the Mill-Whewell Debate Abstract: Increasing interest in material theories of induction (as for example in some recent papers by John Norton) gives hope for a renewed interest in Dewe Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:29:57 Philosophy Philosophy of science Philosophers of science Philosophical logic Philosophical movements Critical thinking William Whewell John Dewey Pragmatism Inquiry Truth Empiricism
278	View Online / Journal Homepage / Table of Contents for this issue C Energy & Environmental Science Add to Reading List Source URL: angenent.bee.cornell.edu Language: English - Date: 2014-05-03 20:35:05 Biology Logic gates Bacteria Microbiology Bacteriology Models of computation Digital systems Natural computing Theoretical computer science Autoinducer DNA computing Quorum sensing
279	Incremental Learning of Fuzzy Basis Function Networks with a Modified Version of Vector Quantization Edwin Lughofer Fuzzy Logic Laboratorium Linz Johannes Kepler University Linz A-4040 Linz, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 02:39:44 Artificial intelligence Statistics Logic Mathematical logic Logic in computer science Fuzzy logic K-means clustering Cluster analysis Vector quantization Fuzzy clustering Fuzzy set Neuro-fuzzy
280	NSP3 Action, Belief and Inquiry Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2015-12-27 17:19:18 Philosophy Logic Epistemology Philosophy of science Reasoning Charles Sanders Peirce Abductive reasoning Inquiry Scientific method Pragmatism Empiricism John Dewey

UPDATE